functor F(A:sig end) =
struct
  val x : int
  exception Foo
end

structure G =
struct
  val y : int
  exception Hoge
  exception Hage = Hoge
end
